Automated Capacity Planning for PEPA Models
نویسندگان
چکیده
Capacity planning is concerned with the provisioning of systems in order to ensure that they meet the demand or performance requirements of users. Currently for PEPA models a modeller who wishes to solve a capacity planning problem has to either carry out a manual search for an optimal configuration or work outside the provided tool suite. We present a new extension to the Eclipse Plug-in for PEPA which integrates automated capacity planning into the functionality of the tool, thus allowing optimal configurations of large scale PEPA models to be found.
منابع مشابه
Configuring Service-Oriented Systems using PEPA and AI Planning
In this paper, we look at how two hitherto-distinct approaches to system modelling — PEPA and AI Planning — can be combined to provide configuration decisions for service-oriented systems. By combining the modelling of uncertainty in PEPA with the fast decision making of planning, we exploit their respective strengths. To illustrate the potential of our approach, we consider a model of a system...
متن کاملCost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements
This paper brings together work in stochastic modelling, using the process algebra PEPA, and work in automated planning. Stochastic modelling has been concerned with verification of system performance metrics for some time: given a model of a system, determining whether it will meet a service-level agreement (SLA). For example, whether a given sequence of transitions on a network will complete ...
متن کاملRelating continuous and discrete PEPA models of signalling pathways
PEPA and its semantics have recently been extended to model biological systems. In order to cope with massive quantities of processes (as is usually the case when considering biological reactions) the model is interpreted in terms of a small set of coupled ordinary differential equations (ODEs) instead of a large state space continuous time Markov chain (CTMC). So far the relationship between t...
متن کاملGraphical modelling of process algebras with DrawNET
High-level languages for performance modelling are often complex to use. Further, they are unfamiliar to the people who would most directly benefit from using them, namely practising software engineers and application developers. One approach to reducing the difficulty of using these languages is to equip them with a graphical syntax which is more intuitive than the more unfamiliar languages of...
متن کاملAn Efficient Kronecker Representation for PEPA Models
In this paper we present a representation of the Markov process underlying a PEPA model in terms of a Kronecker product of terms. Whilst this representation is similar to previous representations of Stochastic Automata Networks and Stochastic Petri Nets, it has novel features, arising from the definition of the PEPA models. In particular, capturing the correct timing behaviour of cooperating PE...
متن کامل